#include<stdio.h>

int main()

{

	int i = 1000;

	for (i = 1000; i <= 2000; i++)

	{

		if ((i % 4 == 0 && i % 100 != 0) || i % 400 == 0)

			printf("%5d", i);

	}

	return 0;

}